The proof assistant PiM is of importance from the application point of view. Moreover,the verification of the AB protocol and the discovery of an error in R. Milner's book point out the value of our work.
上述结果中的有关唯一不动点归纳法的研究具有重要的理论意义,验证工具PiM具有明确的应用价值,而对AB协议的验证及R.Milner的著作中一个错误的发现更是我们工作的价值的体现。
参考来源 - π·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
William Parker, the senior author of the study and an assistant professor of surgery at Duke, emphasized that this was a hypothesis, not experimental proof.
威廉姆·帕克是美国杜克医学院外科助理教授,他还是这个研究成果的第一作者。 他强调这只是一种假设,不是实验证明。
After graduating I worked as assistant editor in Middle East International, where my duties consisted chiefly of reading proof and rewriting, as well as composing lengthy articles and short item.
毕业后在《中东国际》杂志担任副编辑工作,主要任务是负责校对、改写以及撰写长篇、短篇文章。
Dust-proof:bosia floor assistant can be used for the ground pavement hardening and dust-proof handle before paving wood floor.
防尘功效:邦仕嘉地板乐可适用于铺装木地板前地面的硬化、防尘处理。
应用推荐